simplify (p 7)